线上线下混合式教学结合翻转课堂进行酯缩合反应的教学*

采用“线上线下混合式教学”开展有机化学课程的教学工作,利用APP “学习通”将在线课堂教学和线下讲授相结合。以知识点酯缩合反应的教学为例,介绍了该教学模式的实施过程和教学效果。实践结果表明,线上线下混合式教学与翻转课堂相结合的教学模式,能够拓展化学专业学生知识面,提升学生的自主学习能力和学习的积极性,取得了较好的教学效果。     

在线固相萃取-超高效液相色谱-线性离子阱串联质谱法直接测定水中10种藻类毒素

建立了全自动在线固相萃取-超高效液相色谱-线性离子阱串联质谱法直接测定水中10种藻类毒素的方法.利用程序实现多次进样,通过在线固相萃取对藻类毒素进行富集,然后切换六通阀,将富集的目标物冲洗至分析柱进行分离后,进入线性离子阱质谱检测.10种藻类毒素在相应的浓度范围内线性关系良好,相关系数均大于0.99,检出限在0.0015~0.0050μg/L之间,3个浓度水平(0.02、0.10和1.00μg/L)的加标回收率为83.7%~98.5%.结果表明,在线固相萃取极大简化了前处理过程,线性离子阱串联质谱法提高了痕量藻类毒素测定的灵敏度,增强子离子扫描(EPI)谱库的建立为藻类毒素的确证提供保障.本方法适用于水体中多种藻类毒素的快速确证和定量测定.     

SL(n+1,R)/S(GL(1,R)×GL(n,R))上线丛的一个超几何方程

本文研究了伪黎曼对称空间SL（n+1,R）/S（GL（1,R）×GL（n,R））线丛上的微分方程.利用李代数方法,即Casimir算子得到这个微分算子.这个微分算子是一个超几何方程,这个结论推广了文献[1,3,5]中的微分方程.     

具有势函数的弱f-稳态映射的若干结果

本文研究了与拉回度量有关广义泛函Φ_f,H.利用应力能量张量的方法,得到具有势函数的弱f-稳态映射的一些刘维尔型定理.     

形变张量的特征值与Boussinesq方程组的正则性估计

讨论了二维及三维满足周期边界条件的Boussinesq方程初边值问题的局部正则解在有限时间内爆破的可能性.在二维情况下,用形变张量的特征值给出温度梯度的L2估计,从中看出若流体微团变形的速率大,则解爆破的可能性就大.在三维情况下,用形变张量的特征值和温度的偏导给出涡量的L2估计,从中发现若流体微团在大部分时间内一般是平面拉伸,且温度的偏导较小时,解爆破的可能性就大;若一般是线性拉伸,温度的偏导又不任意增大时,解爆破的可能性就小.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

经方量化归经研究中的向量矩阵应用

在经方量化归经研究中发现,药物组成的归经量化问题,若以五维向量表示更能体现其药物的归经方向和归经比例.利用向量矩阵分析方法给出了方剂归经量化的一种全新的量化模型体系,并以此研究方剂归经的量化规律及其应用特点.     

区间二次双层规划的最好最优解

双层规划问题是一类具有递阶结构的优化问题.在不确定的双层规划优化问题中,目标函数系数或约束条件系数为区间数的双层规划模型在实际问题中有着广泛的应用.在二次-线性双层规划模型的基础上,提出了上、下层目标函数以及约束条件系数均具有区间系数的二次-线性双层规划模型,给出了求解其最好最优解的方法.首先,通过选取约束条件中不同的基矩阵,求得区间二次-线性双层规划的可能最优解.再比较求得的全部可能最优解,便可得到区间二次-线性双层规划模型的最好最优解.最后给出数值算例验证该方法的有效性.     

一类无圈型Nakayama代数的量

用同调方法求出一类Nakayama代数A的量,并且求得其代数A的量|IP(A)|=■n-1/r■+1,其中■·■表示向下取整函数.     

脑胶质瘤磁共振弥散张量成像定量参数与VEGF、MMP-9表达的相关性

本研究旨在分析脑胶质瘤患者的磁共振弥散张量成像(DTI)参数与病变组织血管内皮生长因子(VEGF)和基质金属蛋白酶-9(MMP-9)表达的相关性,以及DTI参数对脑胶质瘤进行分级诊断的价值。根据病理分级将102例脑胶质瘤患者分为低级别组(47例)和高级别组(55例),均行MRI和DTI检查,定量测定表观弥散系数(ADC)、各向异性分数(FA)、相对ADC(rADC)、相对FA(rFA)值及相对轴向扩散系数(rAD)值;用免疫组化法检测VEGF和MMP-9表达情况。结果显示,高级别组患者的rADC、ADC、rAD、FA、rFA均低于低级别组(P<0.05);高级别组患者的VEGF和MMP-9阳性表达均高于低级别组(P<0.05)。rADC、ADC、rAD、FA、rFA与VEGF和MMP-9表达均呈负相关(P<0.05);rADC、ADC、rAD、FA、rFA对脑胶质瘤分级诊断的AUC均具有一定诊断价值(P<0.05)。本研究结果提示DTI定量参数与脑胶质瘤VEGF和MMP-9表达具有相关性,且有助于脑胶质瘤的分级诊断。